kw.\*:("Dependency core calculus")
Results 1 to 3 of 3
Selection :
A Prototype Dependency CalculusTHIEMANN, Peter.Lecture notes in computer science. 2002, pp 228-242, issn 0302-9743, isbn 3-540-43363-5Conference Paper
A uniform type structure for secure information flowHONDA, Kohei; YOSHIDA, Nobuko.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 81-92, issn 1523-2867Conference Paper
Translating dependency into parametricityTSE, Stephen; ZDANCEWIC, Steve.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 115-125, issn 1523-2867, 11 p.Conference Paper